Dirac delta function

Schematic representation of the Dirac delta function by a line surmounted by an arrow. The height of the arrow is usually used to specify the value of any multiplicative constant, which will give the area under the function. The other convention is to write the area next to the arrowhead.

The Dirac delta function as the limit (in the sense of distributions) of the sequence of Gaussians $\delta_a(x) = \frac{1}{a \sqrt{\pi}} \mathrm{e}^{-x^2/a^2}$ as $a\to 0.$

The Dirac delta function, or δ function, is (informally) a generalized function depending on a real parameter such that it is zero for all values of the parameter except when the parameter is zero, and its integral over the parameter from −∞ to ∞ is equal to one.^[1]^[2] It was introduced by theoretical physicist Paul Dirac. In the context of signal processing it is often referred to as the unit impulse function.

From a purely mathematical viewpoint, the Dirac delta is not strictly a function, because any real function that is equal to zero everywhere but a single point must have total integral zero.^[3] While for many purposes it can be manipulated as a function, formally it can be defined as a distribution that is also a measure. In many applications, the Dirac delta is regarded as a kind of limit (a weak limit) of a sequence of functions having a tall spike at the origin. The approximating functions of the sequence are thus "approximate" or "nascent" delta functions.

Overview

The graph of the delta function is usually thought of as following the whole x-axis and the positive y-axis. (This informal picture can sometimes be misleading, for example in the limiting case of the sinc function.)

Despite its name, the delta function is not truly a function, at least not a usual one with domain in reals. For example, the objects f(x) = δ(x) and g(x) = 0 are equal everywhere except at x = 0 yet have integrals that are different. According to Lebesgue integration theory, if f and g are functions such that f = g almost everywhere, then f is integrable if and only if g is integrable and the integrals of f and g are identical. Rigorous treatment of the Dirac delta requires measure theory, the theory of distributions, or a hyperreal framework.

The Dirac delta is used to model a tall narrow spike function (an impulse), and other similar abstractions such as a point charge, point mass or electron point. For example, to calculate the dynamics of a baseball being hit by a bat, one can approximate the force of the bat hitting the baseball by a delta function. In doing so, one not only simplifies the equations, but one also is able to calculate the motion of the baseball by only considering the total impulse of the bat against the ball rather than requiring knowledge of the details of how the bat transferred energy to the ball.

In applied mathematics, the delta function is often manipulated as a kind of limit (a weak limit) of a sequence of functions, each member of which has a tall spike at the origin: for example, a sequence of Gaussian distributions centered at the origin with variance tending to zero.

An infinitesimal formula for an infinitely tall, unit impulse delta function (infinitesimal version of Cauchy distribution) explicitly appears in an 1827 text of Augustin Louis Cauchy.^[4] Siméon Denis Poisson considered the issue in connection with the study of wave propagation as did Gustav Kirchhoff somewhat later. Kirchhoff and Hermann von Helmholtz also introduced the unit impulse as a limit of Gaussians, which also corresponded to Lord Kelvin's notion of a point heat source. At the end of the 19th century, Oliver Heaviside used formal Fourier series to manipulate the unit impulse.^[5] The Dirac delta function as such was introduced as a "convenient notation" by Paul Dirac in his influential 1927 book Principles of Quantum Mechanics.^[6] He called it the "delta function" since he used it as a continuous analogue of the discrete Kronecker delta.

Definitions

The Dirac delta can be loosely thought of as a function on the real line which is zero everywhere except at the origin, where it is infinite,

$\delta(x) = \begin{cases} +\infty, & x = 0 \\ 0, & x \ne 0 \end{cases}$

and which is also constrained to satisfy the identity

$\int_{-\infty}^\infty \delta(x) \, dx = 1.$ ^[7]

This is merely a heuristic definition. The Dirac delta is not a true function, as no function has the above properties.^[8] Moreover there exist descriptions of the delta function which differ from the above conceptualization. For example, sinc(x/a)/a (where sinc is the sinc function) behaves like a delta function in the limit as a → 0,^[9] yet this function does not approach zero for values of x outside the origin, rather it oscillates between 1/x and −1/x more and more rapidly as a approaches zero.

The Dirac delta function can be rigorously defined either as a distribution or as a measure.

As a measure

One way to rigorously define the delta function is as a measure, which accepts as an argument a subset A of the real line R, and returns δ(A) = 1 if 0 ∈ A, and δ(A) = 0 otherwise.^[10] If the delta function is conceptualized as modeling an idealized point mass at 0, then δ(A) represents the mass contained in the set A. One may then define the integral against δ as the integral of a function against this mass distribution. Formally, the Lebesgue integral provides the necessary analytic device. The Lebesgue integral with respect to the measure δ satisfies

$\int_{-\infty}^\infty f(x) \, \delta\{dx\} = f(0)$

for all continuous compactly supported functions ƒ. The measure δ is not absolutely continuous with respect to the Lebesgue measure — in fact, it is a singular measure. Consequently, the delta measure has no Radon–Nikodym derivative — no true function for which the property

$\int_{-\infty}^\infty f(x)\delta(x)\, dx = f(0)$

holds.^[11] As a result, the latter notation is a convenient abuse of notation, and not a standard (Riemann or Lebesgue) integral.

As a probability measure on R, the delta measure is characterized by its cumulative distribution function, which is the Heaviside function (or unit step function)^[12]

$H(x) = \begin{cases} 1 & \text{if } x\ge 0\\ 0 & \text{if } x < 0. \end{cases}$

This means that H(x) is the integral of the cumulative indicator function 1_(−∞, x] with respect to the measure δ; to wit,

$H(x) = \int_{\mathbb{R}}\mathbf{1}_{(-\infty,x]}(t)\,\delta\{dt\} = \delta(-\infty,x].$

Thus in particular the integral of the delta function against a continuous function can be properly understood as a Stieltjes integral:^[13]

$\int_{-\infty}^\infty f(x)\delta\{dx\} = \int_{-\infty}^\infty f(x) \, dH(x).$

All higher moments of δ are zero. In particular, characteristic function and moment generating function are both equal to one.

As a distribution

In the philosophy of the theory of distributions a generalized function is thought of not as a function itself, but only in relation to how it affects other functions when it is "integrated" against them. In keeping with this philosophy, to define the delta function properly, it is enough to say what the "integral" of the delta function against a sufficiently "good" test function is. If the delta function is already understood as a measure, then the Lebesgue integral of a test function against that measure supplies the necessary integral.

A typical space of test functions consists of all smooth functions on R with compact support. As a distribution, the Dirac delta is a linear functional on the space of test functions and is defined by^[14]

$\delta[\varphi] = \varphi(0)\,$

(1)

for every test function φ.

For δ to be properly a distribution, it must be "continuous" in a suitable sense. In general, for a linear functional S on the space of test functions to define a distribution, it is necessary and sufficient that, for every positive integer N there is an integer M_N and a constant C_N such that for every test function φ, one has the inequality^[15]

$|S[\phi]| \le C_N \sum_{k=0}^{M_N}\sup_{x\in [-N,N]}|\phi^{(k)}(x)|.$

With the δ distribution, one has such an inequality (with C_N = 1) with M_N = 0 for all N. Thus δ is a distribution of order zero. It is, furthermore, a distribution with compact support (the support being {0}).

The delta distribution can also be defined in a number of equivalent ways. For instance, it is the distributional derivative of the Heaviside step function. This means that, for every test function φ, one has

$\delta[\phi] = -\int_{-\infty}^\infty \phi'(x)H(x)\, dx.$

Intuitively, if integration by parts were permitted, then the latter integral should simplify to

$\int_{-\infty}^\infty \phi(x)H'(x)\, dx = \int_{-\infty}^\infty \phi(x)\delta(x)\, dx,$

and indeed, a form of integration by parts is permitted for the Stieljes integral, and in that case one does have

$-\int_{-\infty}^\infty \phi'(x)H(x)\, dx = \int_{-\infty}^\infty \phi(x)\,dH(x).$

In the context of measure theory, the Dirac measure gives rise to a distribution by integration. Conversely, equation (1) defines a Daniell integral on the space of all compactly supported continuous functions φ which, by the Riesz representation theorem, can be represented as the Lebesgue integral of φ with respect to some Radon measure.

Generalizations

The delta function can be defined in n-dimensional Euclidean space Rⁿ as the measure such that

$\int_{\mathbf{R}^n} f(\mathbf{x})\delta\{d\mathbf{x}\} = f(\mathbf{0})$

for every compactly supported continuous function ƒ. As a measure, the n-dimensional delta function is the product measure of the 1-dimensional delta functions in each variable separately. Thus, formally, with x = (x₁,x₂,...,x_n), one has^[16]

$\delta(\mathbf{x}) = \delta(x_1)\delta(x_2)\dots\delta(x_n).$

(2)

The delta function can also be defined in the sense of distributions exactly as above in the one-dimensional case.^[17] However, despite widespread use in engineering contexts, (2) should be manipulated with care, since the product of distributions can only be defined under quite narrow circumstances.^[18]

The notion of a Dirac measure makes sense on any set whatsoever.^[19] Thus if X is a set, x₀ ∈ X is a marked point, and Σ is any sigma algebra of subsets of X, then the measure defined on sets A ∈ Σ by

$\delta_{x_0}(A)=\begin{cases} 1 &\rm{if\ }x_0\in A\\ 0 &\rm{if\ }x_0\notin A \end{cases}$

is the delta measure or unit mass concentrated at x₀.

Another common generalization of the delta function is to a differentiable manifold where most of its properties as a distribution can also be exploited because of the differentiable structure. The delta function on a manifold M centered at the point x₀ ∈ M is defined as the following distribution:

$\delta_{x_0}[\phi] = \phi(x_0)$

(3)

for all compactly supported smooth real-valued functions φ on M.^[20] A common special case of this construction is when M is an open set in the Euclidean space Rⁿ.

On a locally compact Hausdorff space X, the Dirac delta measure concentrated at a point x is the Radon measure associated with the Daniell integral (3) on compactly supported continuous functions φ. At this level of generality, calculus as such is no longer possible, however a variety of techniques from abstract analysis are available. For instance, the mapping $x_0\mapsto \delta_{x_0}$ is a continuous embedding of X into the space of finite Radon measures on X, equipped with its vague topology. Moreover, the convex hull of the image of X under this embedding is dense in the space of probability measures on X.^[21]

Properties

Scaling and symmetry

The delta function satisfies the following scaling property for a non-zero scalar α:^[22]

$\int_{-\infty}^\infty \delta(\alpha x)\,dx =\int_{-\infty}^\infty \delta(u)\,\frac{du}{|\alpha|} =\frac{1}{|\alpha|}$

and so

$\delta(\alpha x) = \frac{\delta(x)}{|\alpha|}.$

(4)

In particular, the delta function is an even distribution, in the sense that

$\delta(-x) = \delta(x)$

which is homogeneous of degree −1.

Algebraic properties

The distributional product of δ with x is equal to zero:

$x\delta(x) = 0.$

Conversely, if xf(x) = xg(x), where f and g are distributions, then

$f(x) = g(x) +c \delta(x)$

for some constant c.

Translation

The integral of the time-delayed Dirac delta is given by:

$\int\limits_{-\infty}^\infty f(t) \delta(t-T)\,dt = f(T)$

This is sometimes referred to as the sifting property^[23] or the sampling property. The delta function is said to "sift out" the value at $t=T\,$ .

It follows that the convolution:

$(f * \delta)(t-T)\,$	$\ \stackrel{\mathrm{def}}{=}\ \int\limits_{-\infty}^\infty f(\tau) \cdot \delta(t-T-\tau) \, d\tau$
	$= \int\limits_{-\infty}^\infty f(\tau) \cdot \delta(\tau-(t-T)) \, d\tau$ (using 4 with α = −1)
	$= f(t-T)\,$

means that the effect of convolving with the time-delayed Dirac delta is to time-delay ƒ(t) by the same amount.

This holds under the precise condition that f be a tempered distribution (see the discussion of the Fourier transform below). As a special case, for instance, we have the identity (understood in the distribution sense)

$\int_{-\infty}^\infty \delta (\xi-x) \delta(x-\eta) = \delta(\xi-\eta) \, dx.$

Composition with a function

More generally, the delta distribution may be composed with a smooth function g(x) in such a way that the familiar change of variables formula holds, that

$\int_{\mathbf{R}} \delta\bigl(g(x)\bigr) f\bigl(g(x)\bigr) |g'(x)|\,dx = \int_{g(\mathbf{R})} \delta(u)f(u)\, du$

provided that g is a continuously differentiable function with g′ nowhere zero.^[24] That is, there is a unique way to assign meaning to the distribution $\delta\circ g$ so that this identity holds for all compactly supported test functions ƒ. This distribution satisfies δ(g(x)) = 0 if g is nowhere zero, and otherwise if g has a real root at x₀, then

$\delta(g(x)) = \frac{\delta(x-x_0)}{|g'(x_0)|}.$

It is natural therefore to define the composition δ(g(x)) for continuously differentiable functions g by

$\delta(g(x)) = \sum_i \frac{\delta(x-x_i)}{|g'(x_i)|}$

where the sum extends over all roots of g(x), which are assumed to be simple.^[25] Thus, for example

$\delta(x^2-\alpha^2) = \frac{1}{2|\alpha|}[\delta(x+\alpha)+\delta(x-\alpha)]$

In the integral form the generalized scaling property may be written as

$\int_{-\infty}^\infty f(x) \, \delta(g(x)) \, dx = \sum_{i}\frac{f(x_i)}{|g'(x_i)|}$

Properties in n dimensions

The delta distribution in an n-dimensional space satisfies the following scaling property instead:

$\delta(\alpha\mathbf{x}) = |\alpha|^{-n}\delta(\mathbf{x})$

so that δ is a homogeneous distribution of degree −n. Under any reflection or rotation ρ, the delta function is invariant:

$\delta(\rho \mathbf{x}) = \delta(\mathbf{x}).$

As in the one-variable case, it is possible to define the composition of δ with a bi-Lipschitz function^[26] g : Rⁿ → Rⁿ uniquely so that the identity

$\int_{\mathbf{R}^n} \delta(g(\mathbf{x}))\, f(g(\mathbf{x}))\, |\det g'(\mathbf{x})|\, d\mathbf{x} = \int_{g(\mathbf{R}^n)}\delta(u)f(u)\,du$

for all compactly supported functions ƒ.

Using the coarea formula from geometric measure theory, one can also define the composition of the delta function with a submersion from one Euclidean space to another one of different dimension; the result is a type of current. In the special case of a continuously differentiable function g : Rⁿ → R such that the gradient of g is nowhere zero, the following identity holds^[27]

$\int_{\mathbb{R}^n} f(\mathbf{x}) \, \delta(g(\mathbf{x})) \, d\mathbf{x} = \int_{g^{-1}(0)}\frac{f(\mathbf{x})}{|\mathbf{\nabla}g|}\,d\sigma(\mathbf{x})$

where the integral on the right is over g⁻¹(0), the n−1 dimensional surface defined by g(x) = 0 with respect to the Minkowski content measure. This is known as a simple layer integral.

Fourier transform

The delta function is a tempered distribution, and therefore it has a well-defined Fourier transform. Formally, one finds^[28]

$\hat{\delta}(\xi)=\int_{-\infty}^\infty e^{-2\pi i x \xi}\delta(x)\,dx = 1.$

Properly speaking, the Fourier transform of a distribution is defined by imposing self-adjointness of the Fourier transform under the duality pairing $\langle\cdot,\cdot\rangle$ of tempered distributions with Schwartz functions. Thus $\hat{\delta}$ is defined as the unique tempered distribution satisfying

$\langle\hat{\delta},\phi\rangle = \langle\delta,\hat{\phi}\rangle$

for all Schwartz functions φ. And indeed it follows from this that $\hat{\delta}=1.$

As a result of this identity, the convolution of the delta function with any other tempered distribution S is simply S:

$S*\delta = S.\,$

That is to say that δ is an identity element for the convolution on tempered distributions, and in fact the space of compactly supported distributions under convolution is an associative algebra with identity the delta function. This property is fundamental in signal processing, as convolution with a tempered distribution is a linear time-invariant system, and applying the linear time-invariant system measures its impulse response. The impulse response can be computed to any desired degree of accuracy by choosing a suitable approximation for δ, and once it is known, it characterizes the system completely. See LTI system theory:Impulse response and convolution.

The inverse Fourier transform of the tempered distribution ƒ(ξ) = 1 is the delta function. Formally, this is expressed

$\int_{-\infty}^\infty 1 \cdot e^{2\pi i x\xi}\,d\xi = \delta(x)$

and more rigorously, it follows since

$\langle 1, f^\vee\rangle = f(0) = \langle\delta,f\rangle$

for all Schwartz functions ƒ.

In these terms, the delta function provides a suggestive statement of the orthogonality property of the Fourier kernel on R. Formally, one has

$\int_{-\infty}^\infty e^{i 2\pi \xi_1 t} \left[e^{i 2\pi \xi_2 t}\right]^*\,dt = \int_{-\infty}^\infty e^{-i 2\pi (\xi_2 - \xi_1) t} \,dt = \delta(\xi_1 - \xi_2).$

This is, of course, shorthand for the assertion that the Fourier transform of the tempered distribution

$f(t) = e^{i2\pi\xi_1 t}$

$\hat{f}(\xi_2) = \delta(\xi_1-\xi_2)$

which again follows by imposing self-adjointness of the Fourier transform.

By analytic continuation of the Fourier transform, the Laplace transform of the delta function is found to be^[29]

$\int_{0}^{\infty}\delta (t-a)e^{-st} \, dt=e^{-sa}.$

Distributional derivatives

The distributional derivative of the Dirac delta distribution is the distribution δ′ defined on compactly supported smooth test functions φ by^[30]

$\delta'[\varphi] = -\delta[\varphi']=-\varphi'(0).$

The first equality here is a kind of integration by parts, for if δ were a true function then

$\int_{-\infty}^\infty \delta'(x)\varphi(x)\,dx = -\int_{-\infty}^\infty \delta(x)\varphi'(x)\,dx.$

The k^th derivative of δ is defined similarly as the distribution given on test functions by

$\delta^{(k)}[\varphi] = (-1)^k \varphi^{(k)}(0).$

In particular δ is an infinitely differentiable distribution.

The first derivative of the delta function is the distributional limit of the difference quotients:^[31]

$\delta'(x) = \lim_{h\to 0} \frac{\delta(x+h)-\delta(x)}{h}$

More properly, one has

$\delta' = \lim_{h\to 0} \frac{1}{h}(\tau_h\delta - \delta)$

where τ_h is the translation operator, defined on functions by τ_hφ(x) = φ(x+h), and on a distribution S by

$(\tau_h S)[\varphi] = S[\tau_{-h}\varphi].$

In the theory of electromagnetism, the first derivative of the delta function represents a point magnetic dipole situated at the origin. Accordingly, it is referred to as a dipole or the doublet function.^[32]

The derivative of the delta function satisfies a number of basic properties, including:

$\frac{d}{dx}\delta(-x) = -\frac{d}{dx}\delta(x)$

$x\delta'(x) = -\delta(x).$

Furthermore, the convolution of δ' with a compactly supported smooth function f is

$\delta'*f = \delta*f' = f',$

which follows from the properties of the distributional derivative of a convolution.

Higher dimensions

More generally, on an open set U in the n-dimensional Euclidean space Rⁿ, the Dirac delta distribution centered at a point a ∈ U is defined by^[33]

$\delta_a[\phi]=\phi(a)$

for all φ ∈ S(U), the space of all smooth compactly supported functions on U. If α = (α₁, ..., α_n) is any multi-index and ∂^α denotes the associated mixed partial derivative operator, then the α^th derivative ∂^αδ_a of δ_a is given by^[34]

$\left\langle \partial^{\alpha} \delta_{a}, \varphi \right\rangle = (-1)^{| \alpha |} \left\langle \delta_{a}, \partial^{\alpha} \varphi \right\rangle = \left. (-1)^{| \alpha |} \partial^{\alpha} \varphi (x) \right|_{x = a} \mbox{ for all } \varphi \in S(U).$

That is, the α^th derivative of δ_a is the distribution whose value on any test function φ is the α^th derivative of φ at a (with the appropriate positive or negative sign).

The first partial derivatives of the delta function are thought of as double layers along the coordinate planes. More generally, the normal derivative of a simple layer supported on a surface is a double layer supported on that surface, and represents a laminar magnetic monopole. Higher derivatives of the delta function are known in physics as multipoles.

Higher derivatives enter into mathematics naturally as the building blocks for the complete structure of distributions with point support. If S is any distribution on U supported on the set {a} consisting of a single point, then there is an integer m and coefficients c_α such that^[35]

$S = \sum_{|\alpha|\le m} c_\alpha \partial^\alpha\delta_a.$

Representations of the delta function

The delta function can be viewed as the limit of a sequence of functions

$\delta (x) = \lim_{\varepsilon\to 0^+} \eta_\varepsilon(x), \,$

where η_ε(x) is sometimes called a nascent delta function. This limit is meant in a weak sense: either that

$\lim_{\varepsilon\to 0^+} \int_{-\infty}^{\infty}\eta_\varepsilon(x)f(x) \, dx = f(0) \$

(5)

for all continuous functions ƒ having compact support, or that this limit holds for all smooth functions ƒ with compact support. The difference between these two slightly different modes of weak convergence is often subtle: the former is convergence in the vague topology of measures, and the latter is convergence in the sense of distributions.

Approximations to the identity

Typically a nascent delta function η_ε can be constructed in the following manner. Let η be an absolutely integrable function on R of total integral 1, and define

$\eta_\varepsilon(x) = \eta(x/\varepsilon)/\varepsilon. \,$

In n dimensions, one uses instead the scaling

$\eta_\varepsilon(x) = \eta(x/\varepsilon)/\varepsilon^n. \,$

Then a simple change of variables shows that η_ε also has integral 1.^[36] One shows easily that (5) holds for all continuous compactly supported functions ƒ, and so η_ε converges weakly to δ in the sense of measures. If the initial η = η₁ is itself smooth and compactly supported then the sequence is called a mollifier.

The η_ε constructed in this way are known as an approximation to the identity.^[37] This terminology is because the space L¹(R) of absolutely integrable functions is closed under the operation of convolution of functions: ƒ∗g ∈ L¹(R) whenever ƒ and g are in L¹(R). However, there is no identity in L¹(R) for the convolution product: no element h such that ƒ∗h = ƒ for all ƒ. Nevertheless, the sequence η_ε does approximate such an identity in the sense that

$f*\eta_\varepsilon \to f\quad\rm{as\ }\varepsilon\to 0.$

This limit holds in the sense of mean convergence (convergence in L¹). Further conditions on the η_ε, for instance that it be a mollifier associated to a compactly supported function,^[38] are needed to ensure pointwise convergence almost everywhere.

The standard mollifier is given by Ψ(x/ε)/ε where Ψ is a suitably normalized bump function. For instance,

$\eta_\varepsilon(x) = \frac{\Psi(x/\varepsilon)}{\int_{-\infty}^\infty \Psi(x/\varepsilon)\,dx}$

where

$\Psi(x) = \begin{cases} e^{-1/(1-|x|^2)}& \text{ if } |x| < 1\\ 0& \text{ if } |x|\geq 1. \end{cases}$

In some situations such as numerical analysis, a piecewise linear approximation to the identity is desirable. This can be obtained by taking η₁ to be a hat function. With this choice of η₁, one has

$\eta_\varepsilon(x) = \varepsilon^{-1}\max(1-|x/\varepsilon|,0)$

which are all continuous and compactly supported, although not smooth and so not a mollifier.

Probabilistic considerations

In the context of probability theory, it is natural to impose the additional condition that the initial η₁ in an approximation to the identity should be positive, as such a function then represents a probability distribution. Convolution with a probability distribution is sometimes favorable because it does not result in overshoot or undershoot, as the output is a convex combination of the input values, and thus falls between the maximum and minimum of the input function. Taking η₁ to be any probability distribution at all, and letting η_ε(x) = η₁(x/ε)/ε as above will give rise to an approximation to the identity. In general this converges more rapidly to a delta function if, in addition, η has mean 0 and has small higher moments. For instance, if η₁ is the uniform distribution on [−1/2, 1/2], also known as the rectangular function, then setting $\varepsilon = 1/(2n),\,$ with n a new parameter:^[39]

$\eta_\varepsilon(x) =\delta_n(x)= 2n\ \textrm{rect}(nx/2)=\begin{cases} 2n,&-\frac{1}{n}<x<\frac{1}{n}\\ 0,&\text{otherwise}. \end{cases}$

Another example is with the Wigner semicircle distribution

$\eta_\varepsilon(x)= \begin{cases} \frac{2}{\pi \varepsilon^2}\sqrt{\varepsilon^2 - x^2}, & -\varepsilon < x < \varepsilon \\ 0, & \text{otherwise} \end{cases}$

This is continuous and compactly supported, but not a mollifier because it is not smooth.

Semigroups

Nascent delta functions often arise as convolution semigroups. This amounts to the further constraint that the convolution of η_ε with η_δ must satisfy

$\eta_\varepsilon * \eta_\delta = \eta_{\varepsilon+\delta}$

for all ε,δ > 0. Convolution semigroups in L¹ that form a nascent delta function are always an approximation to the identity in the above sense, however the semigroup condition is quite a strong restriction.

In practice, semigroups approximating the delta function arise as fundamental solutions or Green's functions to physically motivated elliptic or parabolic partial differential equations. In the context of applied mathematics, semigroups arise as the output of a linear time-invariant system. Abstractly, if A is a linear operator acting on functions of x, then a convolution semigroup arises by solving the initial value problem

$\begin{cases} \frac{\partial}{\partial t}\eta(t,x) = A\eta(t,x), \quad t>0 \\ \displaystyle\lim_{t\to 0^+} \eta(t,x) = \delta(x) \end{cases}$

in which the limit is as usual understood in the weak sense. Setting η_ε(x) = η(ε,x) gives the associated nascent delta function.

Some examples of physically important convolution semigroups arising from such a fundamental solution include the following.

The heat kernel

The heat kernel, defined by

$\eta_\varepsilon(x) = \frac{1}{\sqrt{2\pi\varepsilon}} \mathrm{e}^{-x^2/2\varepsilon}$

represents the temperature in an infinite wire at time t > 0, if a unit of heat energy is stored at the origin of the wire at time t = 0. This semigroup evolves according to the one-dimensional heat equation:

$\frac{\partial u}{\partial t} = \frac{1}{2}\frac{\partial^2 u}{\partial x^2}.$

In probability theory, η_ε(x) is a normal distribution of variance ε and mean 0. It represents the probability density at time t = ε of the position of a particle starting at the origin following a standard Brownian motion. In this context, the semigroup condition is then an expression of the Markov property of Brownian motion.

In higher dimensional Euclidean space Rⁿ, the heat kernel is

$\eta_\varepsilon = \frac{1}{(2\pi\varepsilon)^{n/2}}\mathrm{e}^{-x\cdot x/2\varepsilon},$

and has the same physical interpretation, mutatis mutandis. It also represents a nascent delta function in the sense that η_ε → δ in the distribution sense as ε → 0.

The Poisson kernel

The Poisson kernel

$\eta_\varepsilon(x) = \frac{1}{\pi} \frac{\varepsilon}{\varepsilon^2 + x^2} =\int_{-\infty}^{\infty}\mathrm{e}^{2\pi\mathrm{i} \xi x-|\varepsilon \xi|}\;d\xi$

is the fundamental solution of the Laplace equation in the upper half-plane.^[40] It represents the electrostatic potential in a semi-infinite plate whose potential along the edge is held at fixed at the delta function. The Poisson kernel is also closely related to the Cauchy distribution. This semigroup evolves according to the equation

$\frac{\partial u}{\partial t} = -(-\partial^2/\partial x^2)^{1/2}u(t,x)$

where the operator is rigorously defined as the Fourier multiplier

$\mathcal{F}\left[(-\partial^2/\partial x^2)^{1/2}f\right](\xi) = |2\pi\xi|\mathcal{F}f(\xi).$

Oscillatory integrals

In areas of physics such as wave propagation and wave mechanics, the equations involved are hyperbolic and so may have more singular solutions. As a result, the nascent delta functions that arise as fundamental solutions of the associated Cauchy problems are generally oscillatory integrals. An example, which comes from a solution of the Euler–Tricomi equation of transonic gas dynamics,^[41] is the rescaled Airy function

$\operatorname{Ai}(x/\varepsilon^{1/3})/\varepsilon^{1/3}. \,$

Although using the Fourier transform, it is easy to see that this generates a semigroup in some sense, it is not absolutely integrable and so cannot define a semigroup in the above strong sense. Many nascent delta functions constructed as oscillatory integrals only converge in the sense of distributions (an example is the Dirichlet kernel below), rather than in the sense of measures.

Another example is the Cauchy problem for the wave equation in R¹⁺¹:^[42]

$\begin{align} c^{-2}\frac{\partial^2u}{\partial t^2} - \Delta u &= 0\\ u=0,&\quad \frac{\partial u}{\partial t} = \delta\quad \rm{when\ }t=0. \end{align}$

The solution u represents the displacement from equilibrium of an infinite elastic string, with an initial disturbance at the origin.

Other approximations to the identity of this kind include the sinc function

$\eta_\varepsilon(x)=\frac{1}{\pi x}\sin\left(\frac{x}{\varepsilon}\right) =\frac{1}{2\pi}\int_{-1/\varepsilon}^{1/\varepsilon} \cos (k x)\;dk$

and the Bessel function

$\eta_\varepsilon(x) = \frac{1}{\varepsilon}J_{1/\varepsilon} \left(\frac{x+1}{\varepsilon}\right).$

Plane wave decomposition

One approach to the study of a linear partial differential equation

$L[u]=f,\,$

where L is a differential operator on Rⁿ, is to seek first a fundamental solution, which is a solution of the equation

$L[u]=\delta.\,$

When L is particularly simple, this problem can often be resolved using the Fourier transform directly (as in the case of the Poisson kernel and heat kernel already mentioned). For more complicated operators, it is sometimes easier first to consider an equation of the form

$L[u]=h\,$

where h is a plane wave function, meaning that it has the form

$h = h(x\cdot\xi)$

for some vector ξ. Such an equation can be resolved (if the coefficients of L are analytic functions) by the Cauchy–Kovalevskaya theorem or (if the coefficients of L are constant) by quadrature. So, if the delta function can be decomposed into plane waves, then one can in principle solve linear partial differential equations.

Such a decomposition of the delta function into plane waves was part of a general technique first introduced essentially by Johann Radon, and then developed in this form by Fritz John (1955).^[43] Choose k so that n + k is an even integer, and for a real number s, put

$g(s) = \operatorname{Re}\left[\frac{-s^k\log(-is)}{k!(2\pi i)^n}\right]=\begin{cases} \frac{|s|^k}{4k!(2\pi i)^{n-1}}&n \text{ odd}\\ &\\ -\frac{|s|^k\log|s|}{k!(2\pi i)^{n}}&n \text{ even.} \end{cases}$

Then δ is obtained by applying a power of the Laplacian to the integral with respect to the unit sphere measure dω of g(x·ξ) for ξ in the unit sphere Sⁿ⁻¹:

$\delta(x) = \Delta^{(n+k)/2}_x\int_{S^{n-1}} g(x\cdot\xi)\,d\omega_\xi.$

The Laplacian here is interpreted as a weak derivative, so that this equation is taken to mean that, for any test function φ,

$\varphi(x) = \int_{\mathbf{R}^n}\varphi(y)\,dy\,\Delta^{(n+k)/2}_x\int_{S^{n-1}} g((x-y)\cdot\xi)\,d\omega_\xi.$

The result follows from the formula for the Newtonian potential (the fundamental solution of Poisson's equation). This is essentially a form of the inversion formula for the Radon transform, because it recovers the value of φ(x) from its integrals over hyperplanes. For instance, if n is odd and k = 1, then the integral on the right hand side is

$\begin{align} & {} \quad c_n \Delta^{(n+1)/2}_x\int\int_{S^{n-1}} \varphi(y)|(y-x)\cdot\xi|\,d\omega_\xi\,dy \\ & = c_n\Delta^{(n+1)/2}_x\int_{S^{n-1}} \, d\omega_\xi \int_{-\infty}^\infty |p|R\varphi(\xi,p+x\cdot\xi)\,dp \end{align}$

where Rφ(ξ,p) is the Radon transform of φ:

$R\varphi(\xi,p) = \int_{x\cdot\xi=p} f(x)\,d^{n-1}x.$

An alternative equivalent expression of the plane wave decomposition, from Gel'fand & Shilov (1966–1968, I, §3.10), is

$\delta(x) = \frac{(n-1)!}{(2\pi i)^n}\int_{S^{n-1}}(x\cdot\xi)^{-n}\,d\omega_\xi$

for n even, and

$\delta(x) = \frac{1}{2(2\pi i)^{n-1}}\int_{S^{n-1}}\delta^{(n-1)}(x\cdot\xi)\,d\omega_\xi$

for n odd.

Fourier kernels

In the study of Fourier series, a major question consists of determining whether and in what sense the Fourier series associated with a periodic function converges to the function. The n^th partial sum of the Fourier series of a function ƒ of period 2π is defined by convolution (on the interval [−π,π]) with the Dirichlet kernel:

$D_N(x) = \sum_{n=-N}^N e^{inx} = \frac{\sin\left((N+\tfrac12)x\right)}{\sin(x/2)}.$

Thus,

$s_N(f)(x) = D_N*f(x) = \sum_{n=-N}^N a_n e^{inx}$

where

$a_n = \frac{1}{2\pi}\int_{-\pi}^\pi f(y)e^{-iny}\,dy.$

A fundamental result of elementary Fourier series states that the Dirichlet kernel tends to the a multiple of the delta function as N → ∞. This is interpreted in the distribution sense, that

$s_N(f)(0) = \int_{\mathbf{R}} D_N(x)f(x)\,dx \to 2\pi f(0)$

for every compactly supported smooth function ƒ. Thus, formally one has

$\delta(x) = \frac1{2\pi} \sum_{n=-\infty}^\infty e^{inx}.$

In spite of this, the result does not hold for all compactly supported continuous functions: that is D_N does not converge weakly in the sense of measures. The lack of convergence of the Fourier series has led to the introduction of a variety of summability methods in order to produce convergence. The method of Cesàro summation leads to the Fejér kernel^[44]

$F_N(x) = \sum_{n=0}^N D_n(x) = \frac{1}{N}\left(\frac{\sin \frac{Nx}{2}}{\sin \frac{x}{2}}\right)^2.$

The Fejér kernels tend to the delta function in a stronger sense that^[45]

$\int_{\mathbf{R}} F_N(x)f(x)\,dx \to 2\pi f(0)$

for every compactly supported continuous function ƒ. The implication is that the Fourier series of any continuous function is Cesàro summable to the value of the function at every point.

Hilbert space theory

The Dirac delta distribution is a densely defined unbounded linear functional on the Hilbert space L² of square integrable functions. Indeed, smooth compactly support functions are dense in L², and the action of the delta distribution on such functions is well-defined. In many applications, it is possible to identify subspaces of L² and to give a stronger topology on which the delta function defines a bounded linear functional.

Sobolev spaces

The Sobolev embedding theorem for Sobolev spaces on the real line R implies that any square-integrable function ƒ such that

$\|f\|_{H^1}^2 = \int_{-\infty}^\infty |\hat{f}(\xi)|^2 (1+|\xi|^2)\,d\xi < \infty$

is automatically continuous, and satisfies in particular

$\delta[f]=|f(0)| < C \|f\|_{H^1}.$

Thus δ is a bounded linear functional on the Sobolev space H¹. Equivalently δ is an element of the continuous dual space H⁻¹ of H¹. More generally, in n dimensions, one has δ ∈ H^−s(Rⁿ) provided s > n / 2.

Spaces of holomorphic functions

In complex analysis, the delta function enters via Cauchy's integral formula which asserts that if D is a domain in the complex plane with smooth boundary, then

$f(z) = \frac{1}{2\pi i} \oint_{\partial D} \frac{f(\zeta)\,d\zeta}{\zeta-z},\quad z\in D$

for all holomorphic functions ƒ in D that are continuous on the closure of D. As a result, the delta function δ_z is represented on this class of holomorphic functions by the Cauchy integral:

$\delta_z[f] = f(z) = \frac{1}{2\pi i} \oint_{\partial D} \frac{f(\zeta)\,d\zeta}{\zeta-z}.$

More generally, let H²(∂D) be the Hardy space consisting of the closure in L²(∂D) of all holomorphic functions in D continuous up to the boundary of D. Then functions in H²(∂D) uniquely extend to holomorphic functions in D, and the Cauchy integral formula continues to hold. In particular for z ∈ D, the delta function δ_z is a continuous linear functional on H²(∂D). This is a special case of the situation in several complex variables in which, for smooth domains D, the Szegő kernel plays the role of the Cauchy integral.

Resolutions of the identity

Given a complete orthonormal basis set of functions { $\varphi_n$ } in a separable Hilbert space, for example, the normalized eigenvectors of a compact self-adjoint operator, any vector f can be expressed as:

$f = \sum_{n=1}^\infty \ \alpha_n \varphi_n \ .$

The coefficients {α_n} are found as:

$\alpha_n = \langle \varphi_n,\ f \rangle \ ,$

which may be represented by the notation:

$\alpha_n = \varphi_n^\dagger \ f \ ,$

a form of the bra-ket notation of Dirac.^[46] Adopting this notation, the expansion of f takes the dyadic form:^[47]

$f = \sum_{n=1}^\infty \ \varphi_n \left ( \varphi_n^\dagger \ f \right).$

Letting I denote the identity operator on the Hilbert space, the expression

$I = \sum_{n=1}^\infty \ \varphi_n \varphi_n^\dagger,$

is called a resolution of the identity. When the Hilbert space is the space L²(D) of square-integrable functions on a domain D, the quantity:

$\varphi_n \varphi_n^\dagger,$

is an integral operator, and the expression for f can be rewritten as:

$f(x) = \sum_{n=1}^\infty \int_D\, \left( \varphi_n (x) \varphi_n^*(\xi)\right) f(\xi) \, d \xi.$

The right-hand side converges to f in the L² sense. It need not hold in a pointwise sense, even when f is a continuous function. Nevertheless, it is common to abuse notation and write

$f(x) = \int \, \delta(x-\xi) f (\xi)\, d\xi,$

resulting in the representation of the delta function:^[48]

$\delta(x-\xi) = \sum_{n=1}^\infty \ \varphi_n (x) \varphi_n^*(\xi).$

With a suitable rigged Hilbert space (Φ,L²(D),Φ^∗) where Φ ⊂ L²(D) contains all compactly supported smooth functions, this summation may converge in Φ^*, depending on the properties of the basis φ_n. In most cases of practical interest, the orthonormal basis comes from an integral or differential operator, in which case the series converges in the distribution sense.^[49]

Infinitesimal delta functions

Cauchy used an infinitesimal $\alpha$ to write down a unit impulse, infinitely tall and narrow Dirac-type delta function $\delta_\alpha$ satisfying $\int F(x)\delta_\alpha(x) = F(0)$ in a number of articles in 1827.^[50] Cauchy defined an infinitesimal in Cours d'Analyse (1827) in terms of a sequence tending to zero. Namely, such a null sequence becomes an infinitesimal in Cauchy's and Lazare Carnot's terminology.

Modern set-theoretic approaches allow one to define infinitesimals via the ultrapower construction, where a null sequence becomes an infinitesimal in the sense of an equivalence class modulo a relation defined in terms of a suitable ultrafilter. The article by Yamashita (2007) contains a bibliography on modern Dirac delta functions in the context of an infinitesimal-enriched continuum provided by the hyperreals.

Dirac comb

A Dirac comb is an infinite series of Dirac delta functions spaced at intervals of T

A so-called uniform "pulse train" of Dirac delta measures, which is known as a Dirac comb, or as the Shah distribution, creates a sampling function, often used in digital signal processing (DSP) and discrete time signal analysis. The Dirac comb is given as the infinite sum, whose limit is understood in the distribution sense,

$\Delta(x) = \sum_{n=-\infty}^\infty \delta(x-n),$

which is a sequence of point masses at each of the integers.

Up to an overall normalizing constant, the Dirac comb is equal to its own Fourier transform. This is significant because if ƒ is any Schwartz function, then the periodization of ƒ is given by the convolution

$(f*\Delta)(x) = \sum_{n=-\infty}^\infty f(x-n).$

In particular,

$(f*\Delta)^\wedge = \hat{f}\widehat{\Delta} = \hat{f} \Delta$

is precisely the Poisson summation formula.^[51]

Sokhatsky–Weierstrass theorem

The Sokhatsky–Weierstrass theorem, important in quantum mechanics, relates the delta function to the distribution p.v.1/x, the Cauchy principal value of the function 1/x, defined by

$\left\langle\operatorname{p.v.}\frac{1}{x}, \phi\right\rangle = \lim_{\epsilon\to 0^+}\int_{|x|>\epsilon} \frac{\phi(x)}{x}\,dx.$

Sokhostsky's formula states that^[52]

$\lim_{\epsilon\to 0^+} \frac{1}{x\pm i\epsilon} = \operatorname{p.v.}\frac{1}{x} \mp i\pi\delta(x),$

Here the limit is understood in the distribution sense, that for all compactly supported smooth functions f,

$\lim_{\epsilon\to 0^+} \int_{-\infty}^\infty\frac{f(x)}{x\pm i\epsilon}\,dx = \mp i\pi f(0) + \lim_{\epsilon\to 0^+} \int_{|x|>\epsilon}\frac{f(x)}{x}\,dx.$

Relationship to the Kronecker delta

The Dirac delta function may be seen as a continuous analog of the Kronecker delta. To see this let $(a_i)_{i \in \mathbb{Z}}$ be any doubly infinite sequence. The Kronecker delta, $\delta_{ik}$ , then satisfies:

$\sum_{i=-\infty}^\infty a_i \delta_{ik}=a_k.$

Similarly, for any real or complex valued continuous function $f$ on $\mathbb{R}$ , the Dirac delta satisfies:

$\int_{-\infty}^\infty f(x)\delta(x-x_0)\,dx=f(x_0).$

Application to quantum mechanics

We give an example of how the delta function is expedient in quantum mechanics. A set {φ_n} of wave functions is orthonormal if they are normalized by

$\langle\phi_n|\phi_m\rangle = \delta_{nm}$

where δ here refers to the Kronecker delta. A set of orthonormal wave functions is complete in the space L² of square-integrable functions if any wave function ψ can be expressed as a combination of the φ_n:

$\psi = \sum c_n \phi_n,$

with $c_n = \langle \phi_n | \psi \rangle$ . Complete orthonormal systems of wave functions appear naturally as the eigenfunctions of the Hamiltonian in quantum mechanics that measures the energy levels, which are called the eigenvalues. The set of eigenvalues, in this case, is known as the spectrum of the Hamiltonian. In bra-ket notation, as above, this equality implies the resolution of the identity:

$I = \sum |\phi_n\rangle\langle\phi_n|.$

For other observables in quantum mechanics, the set of eigenfunctions may be continuous rather than discrete. An example is the position observable, Qψ(x) = xψ(x). The spectrum of the position (in one dimension) is the entire real line, and is called a continuous spectrum. However, unlike the Hamiltonian, the position operator lacks proper eigenfunctions. The conventional way to overcome this shortcoming is to widen the class of available functions by allowing distributions as well: that is, to replace the Hilbert space of quantum mechanics by an appropriate rigged Hilbert space.^[53] In this context, the position operator has a complete set of eigen-distributions, labeled by the points y of the real line, given by

$\phi_y(x) = \delta(x-y).$

The eigenfunctions of position are denoted by $\phi_y = |y\rangle$ in Dirac notation, and are known as position eigenstates.

Similar considerations apply to the eigenstates of the momentum operator, or indeed any other self-adjoint operator P on the Hilbert space, provided the spectrum of P is continuous and there are no degenerate eigenvalues. In that case, there is a set Ω of real numbers (the spectrum), and a collection φ_y of distributions indexed by the elements of Ω, such that

$P\phi_y = y\phi_y.$

That is, φ_y are the eigenvectors of P. If the eigenvectors are normalized so that

$\langle \phi_y,\phi_{y'}\rangle = \delta(y-y')$

in the distribution sense, then for any test function ψ,

$\psi(x) = \int_\Omega c(y) \phi_y(x) \, dy$

where

$c(y) = \langle \psi, \phi_y \rangle$ .

That is, as in the discrete case, there is a resolution of the identity

$I = \int_\Omega |\phi_y\rangle\, \langle\phi_y|\,dy$

where the operator-valued integral is again understood in the weak sense. If the spectrum of P has both continuous and discrete parts, then the resolution of the identity involves a summation over the discrete spectrum and an integral over the continuous spectrum.

The delta function also has many more specialized applications in quantum mechanics, such as the delta potential models for a single and double potential well.

Notes

↑ Dirac 1958, §15 The δ function, p. 58
↑ Gel'fand & Shilov 1968, Volume I, §§1.1, 1.3
↑ Vladimirov 1971, §5.1
↑ Laugwitz 1989, p. 230
↑ A more complete historical account can be found in van der Pol & Bremmer 1987, §V.4.
↑ Dirac 1958, §15
↑ Gel'fand & Shilov 1968, Volume I, §1.1, p. 1
↑ Dirac 1958, §15
↑ Weisstein, Eric W., "Delta Function" from MathWorld.
↑ Rudin 1966, §1.20
↑ Hewitt & Stromberg 1963, §19.61
↑ Driggers 2003, p. 2321. See also Bracewell 1986, Chapter 5 for a different interpretation. Other conventions for the assigning the value of the Heaviside function at zero exist, and some of these are not consistent with what follows.
↑ Hewitt & Stromberg 1965, §9.19
↑ Strichartz 1994, §2.2
↑ Hörmander 1983, Theorem 2.1.5
↑ Bracewell 1986, Chapter 5
↑ Hörmander 1983, §3.1
↑ Strichartz 1994, §2.3; Hörmander 1983, §8.2
↑ Rudin 1966, §1.20
↑ Dieudonné 1972, §17.3.3
↑ Federer 1969, §2.5.19
↑ Strichartz 1994, Problem 2.6.2
↑ Weisstein, Eric W., "Sifting Property" from MathWorld.
↑ Gel'fand & Shilov 1966–1968, Vol. 1, §II.2.5
↑ Gel'fand & Shilov 1966–1968, Vol. 1, §II.2.5
↑ Further refinement is possible, namely to submersions, although these require a more involved change of variables formula.
↑ Hörmander 1983, §6.1
↑ In some conventions for the Fourier transform.
↑ Bracewell 1986
↑ Gel'fand & Shilov 1966, p. 26
↑ Gel'fand & Shilov 1966, §2.1
↑ Weisstein, Eric W., "Doublet Function" from MathWorld.
↑ Hörmander 1983, p. 56
↑ Hörmander 1983, p. 56
↑ Hörmander 1983, p. 56; Rudin 1991, Theorem 6.25
↑ Stein Weiss, Theorem 1.18
↑ Rudin 1991, §II.6.31
↑ More generally, one only needs η = η₁ to have an integrable radially symmetric decreasing rearrangement.
↑ Aratyn & Rasinariu 2006, §5.3.1 Dirac delta function, p. 314
↑ Stein & Weiss 1971, §I.1
↑ Vallée & Soares 2004, §7.2
↑ Hörmander 1983, §7.8
↑ See also Courant & Hilbert 1962, §14.
↑ Lang 1997, p. 312
↑ In the terminology of Lang (1997), the Fejér kernel is a Dirac sequence, whereas the Dirichlet kernel is not.
↑ The development of this section in bra-ket notation is found in (Levin 2002, Coordinate-space wave functions and completeness, pp.=109ff)
↑ Davis & Thomson 2000, Perfect operators, p.344
↑ Davis & Thomson 2000, Equation 8.9.11, p. 344
↑ de la Madrid, Bohm & Gadella 2002
↑ See Laugwitz (1989).
↑ Córdoba 1988; Hörmander 1983, §7.2
↑ Vladimirov 1971, §5.7
↑ Isham 1995, §6.2

References

Aratyn, Henrik; Rasinariu, Constantin (2006), A short course in mathematical methods with Maple, World Scientific, ISBN 9812564616, http://books.google.com/?id=JFmUQGd1I3IC&pg=PA314 .
Bracewell, R. (1986), The Fourier Transform and Its Applications (2nd ed.), McGraw-Hill .
Córdoba, A., "La formule sommatoire de Poisson", C.R. Acad. Sci. Paris, Series I 306: 373–376 .
Courant, Richard; Hilbert, David (1962), Methods of Mathematical Physics, Volume II, Wiley-Interscience .
Davis, Howard Ted; Thomson, Kendall T (2000), Linear algebra and linear operators in engineering with applications in Mathematica, Academic Press, ISBN 012206349X, http://books.google.com/?id=3OqoMFHLhG0C&pg=PA344#v=onepage&q
Dieudonné, Jean (1976), Treatise on analysis. Vol. II, New York: Academic Press [Harcourt Brace Jovanovich Publishers], MR 0530406, ISBN 978-0-12-215502-4 .
Dieudonné, Jean (1972), Treatise on analysis. Vol. III, Boston, MA: Academic Press, MR 0350769
Dirac, Paul (1958), Principles of quantum mechanics (4th ed.), Oxford at the Clarendon Press, ISBN 978-0198520115 .
Driggers, Ronald G. (2003), Encyclopedia of Optical Engineering, CRC Press, ISBN 978-0824709402 .
Federer, Herbert (1969), Geometric measure theory, series Die Grundlehren der mathematischen Wissenschaften, Band 153, New York: Springer-Verlag New York Inc., pp. xiv+676, MR 0257325, ISBN 978-3540606567 .
Gel'fand, I.M.; Shilov, G.E. (1966–1968), Generalized functions, 1–5, Academic Press .
Hewitt, E; Stromberg, K (1963), Real and abstract analysis, Springer-Verlag .
Hörmander, L. (1983), The analysis of linear partial differential operators I, Grundl. Math. Wissenschaft., 256, Springer, MR 0717035, ISBN 3-540-12104-8 .
Isham, C. J. (1995), Lectures on quantum theory: mathematical and structural foundations, Imperial College Press, ISBN 9788177641905 .
John, Fritz (1955), Plane waves and spherical means applied to partial differential equations, Interscience Publishers, New York-London, MR 0075429 .
Lang, Serge (1997), Undergraduate analysis, Undergraduate Texts in Mathematics (2nd ed.), Berlin, New York: Springer-Verlag, MR 1476913, ISBN 978-0-387-94841-6 .
Laugwitz, D. (1989), "Definite values of infinite sums: aspects of the foundations of infinitesimal analysis around 1820", Arch. Hist. Exact Sci. 39 (3): 195–245, doi:10.1007/BF00329867 .
Levin, Frank S. (2002), "Coordinate-space wave functions and completeness", An introduction to quantum theory, Cambridge University Press, pp. 109ff, ISBN 0521598419, http://books.google.com/?id=oc64f4EspFgC&pg=PA109
Li, Y. T.; Wong, R. (2008), "Integral and series representations of the Dirac delta function", Commun. Pure Appl. Anal. 7 (2): 229–247, doi:10.3934/cpaa.2008.7.229, http://www.ams.org/mathscinet-getitem?mr=2373214 .
de la Madrid, R.; Bohm, A.; Gadella, M. (2002), "Rigged Hilbert Space Treatment of Continuous Spectrum", Fortschr. Phys. 50: 185–216, doi:10.1002/1521-3978(200203)50:2<185::AID-PROP185>3.0.CO;2-S, http://arxiv.org/abs/quant-ph/0109154 .
McMahon, D. (2005-11-22), "An Introduction to State Space", Quantum Mechanics Demystified, A Self-Teaching Guide, Demystified Series, New York: McGraw-Hill, pp. 108, doi:10.1036/0071455469, ISBN 0-07-145546-9, http://www.mhprofessional.com/product.php?isbn=0071455469&cat=&promocode=, retrieved 2008-03-17 .
van der Pol, Balth.; Bremmer, H. (1987), Operational calculus (3rd ed.), New York: Chelsea Publishing Co., MR 904873, ISBN 978-0-8284-0327-6 .
Rudin, W. (1991), Functional Analysis (2nd ed.), McGraw-Hill, ISBN 0-07-054236-8 .
Soares, Manuel; Vallée, Olivier (2004), Airy functions and applications to physics, London: Imperial College Press .
Saichev, A I; Woyczyński, Wojbor Andrzej (1997), "Chapter1: Basic definitions and operations", Distributions in the Physical and Engineering Sciences: Distributional and fractal calculus, integral transforms, and wavelets, Birkhäuser, ISBN 0817639241, http://books.google.com/?id=42I7huO-hiYC&pg=PA3
Schwartz, L. (1950–1951), Théorie des distributions, 1–2, Hermann .
Stein, Elias; Weiss, Guido (1971), Introduction to Fourier Analysis on Euclidean Spaces, Princeton University Press, ISBN 0-691-08078-X .
Strichartz, R. (1994), A Guide to Distribution Theory and Fourier Transforms, CRC Press, ISBN 0849382734 .
Vladimirov, V. S. (1971), Equations of mathematical physics, Marcel Dekker, ISBN 0-8247-1713-9 .
Weisstein, Eric W., "Delta Function" from MathWorld.
Yamashita, H.: Comment on: "Pointwise analysis of scalar Fields: a nonstandard approach" [J. Math. Phys. 47 (2006), no. 9, 092301; 16 pp.]. J. Math. Phys. 48 (2007), no. 8, 084101, 1 page.

External links

The Dirac Delta function, a tutorial on the Dirac delta function.
Video Lectures - Lecture 23, a lecture by Arthur Mattuck.
Dirac Delta Function on PlanetMath
The Dirac delta measure is a hyperfunction
We show the existence of a unique solution and analyze a finite element approximation when the source term is a Dirac delta measure
Non-Lebesgue measures on R. Lebesgue-Stieltjes measure, Dirac delta measure.

Probability distributions

Discrete univariate with finite support

Benford · Bernoulli · Beta-binomial · binomial · categorical · hypergeometric · Poisson binomial · Rademacher · discrete uniform · Zipf · Zipf-Mandelbrot

Discrete univariate with infinite support

Boltzmann · Conway–Maxwell–Poisson · discrete phase-type · extended negative binomial · Gauss–Kuzmin · geometric · logarithmic · negative binomial · parabolic fractal · Poisson · Skellam · Yule–Simon · zeta

Continuous univariate supported on a bounded interval, e.g. [0,1]

Beta · Irwin–Hall · Kumaraswamy · logit-normal · raised cosine · triangular · U-quadratic · uniform · Wigner semicircle

Continuous univariate supported on a semi-infinite interval, usually [0,∞)

Beta prime · Bose–Einstein · Burr · chi-square · chi · Coxian · Erlang · exponential · F · Fermi–Dirac · folded normal · Fréchet · Gamma · generalized extreme value · generalized inverse Gaussian · half-logistic · half-normal · Hotelling's T-square · hyper-exponential · hypoexponential · inverse chi-square (scaled inverse chi-square) · inverse Gaussian · inverse gamma · Lévy · log-normal · log-logistic · Maxwell–Boltzmann · Maxwell speed · Nakagami · noncentral chi-square · Pareto · phase-type · Rayleigh · relativistic Breit–Wigner · Rice · Rosin–Rammler · shifted Gompertz · truncated normal · type-2 Gumbel · Weibull · Wilks' lambda

Continuous univariate supported on the whole real line (−∞, ∞)

Cauchy · extreme value · exponential power · Fisher's z · generalized normal · generalized hyperbolic · Gumbel · hyperbolic secant · Landau · Laplace · logistic · noncentral t · normal (Gaussian) · normal-inverse Gaussian · skew normal · slash · stable · Student's t · type-1 Gumbel · Variance-Gamma · Voigt

Multivariate (joint)

Discrete: Ewens · multinomial · multivariate Polya · negative multinomial Continuous: Dirichlet · Generalized Dirichlet · multivariate normal · multivariate Student · normal-scaled inverse gamma · normal-gamma Matrix-valued: inverse-Wishart · matrix normal · Wishart

Directional, degenerate, and singular

Directional:Circular Uniform · bivariate von Mises · Kent · univariate von Mises · von Mises–Fisher · Wrapped normal · Wrapped Cauchy · Wrapped Lévy Degenerate: discrete degenerate · Dirac delta function Singular: Cantor

Families

Circular · compound Poisson · elliptical · exponential · natural exponential · location-scale · maximum entropy · mixture · Pearson · Tweedie

Dirac delta function

Contents

Overview

Definitions

As a measure

As a distribution

Generalizations

Properties

Scaling and symmetry

Algebraic properties

Translation

Composition with a function

Properties in n dimensions

Fourier transform

Distributional derivatives

Higher dimensions

Representations of the delta function

Approximations to the identity

Probabilistic considerations

Semigroups

Oscillatory integrals

Plane wave decomposition

Fourier kernels

Hilbert space theory

Infinitesimal delta functions

Dirac comb

Sokhatsky–Weierstrass theorem

Relationship to the Kronecker delta

Application to quantum mechanics

Notes

References

See also

External links